1. Logics in artificial intelligence :
پدیدآورنده: José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.,Computer science -- Congresses.
![](/design/images/bookmore.png)
2. Logics in artificial intelligence: European Workshop JELIA'96, Evora, Portugal, September 30-October 3, 1996 : proceedings
پدیدآورنده: Jose Julio Alferes, Luis Moniz Pereira, Ewa Orlowska )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic
رده :
QA
76
.
L28
Vol
.
1126
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
پدیدآورنده: Jose Julio Alferes, Joao Leite )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3229
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Practical aspects of declarative languages :
پدیدآورنده: José Júlio Alferes, Moa Johansson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.
رده :
QA76
.
76
.
C65
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Reasoning with logic programming
پدیدآورنده: Alferes, Jose Julio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Reasoning
رده :
QA
76
.
L28
Vol
.
1111
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
پدیدآورنده: Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Rule-based programming -- Congresses,، Semantic Web -- Congresses
رده :
QA
76
.
76
.
R95
2016
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)